Image of Intersection is Subset of Intersection of Images

Image of Intersection is Subset of Intersection of Images

For f:XY and AiX for all iI

f(iIAi)iIf(Ai)

and in particular

f(iIAi)=iIf(Ai)for any collection of Aif is injective